/**
 * \file kernel/network/ip.h
 * \author Davide Gessa
 * \date 02-05-2010
 */
#ifndef NETWORK_IP_H
#define NETWORK_IP_H

#include <types.h>
#include <config.h>
#include <network/network.h>


#endif
